Struct isotope::ctx::ty::MapTyCtx [−][src]
pub struct MapTyCtx<T> { /* fields omitted */ }
Expand description
A simple typing context based off a map
Implementations
Trait Implementations
type MaxDeref = Self
type MaxDeref = Self
Get this context’s maximally dereferenced type, if any
Constrain a variable to have a given annotation. Return whether this constraint typechecks
Check whether a variable is compatible with a given annotation.
Push a parameter onto this context with an optional annotation
Get whether this context is universal for true/false global type-checking values given a filter
Get whether this context is universal for true/false variable type-checking values given a filter
Get whether this context is universal for true/false path type-checking values given a filter
Get whether this context assumes a value for type-checking given flags
Get whether this context assumes a value for globally type-checking given flags
Get whether this context assumes a value for variable type-checking given flags
Get whether this context assumes a value for path type-checking given flags
Get the base index of this context
Reset this context’s unbound variable constraints
Get this context’s underlying equality checking context
Auto Trait Implementations
impl<T> !RefUnwindSafe for MapTyCtx<T>
impl<T> !UnwindSafe for MapTyCtx<T>
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.